User loginNavigation |
Tim MayPersonal informationtcmay@att.net, tim@functor.org Corralitos, California Born in 1951 in U.S. Physics major. Joined Intel in 1974. Worked on dynamic RAMs, including single event effects (alpha particles, cosmic rays). Image processing, then nascent AI project. After leaving Intel in 1986, pursued personal interests. Mainly implications of strong cryptography. Co-founded Cypherpunks in 1992. Haskell. Functional programming in general. Saul Kripke, possible worlds semantics, category theory. Bogged down in topos theory.... Very interested in "logic of observables" a la Abramsky, Vickers, Escardo, and connections between topology and logic and Bayes. Lesser interest in parts of quantum mechanics, esp. interpretations. Trying to understand relation of QM to logic to work of Isham, Butterfield, et. al. Thought the "grand thread" a few years ago with Frank Attanassow debating type theory was one of the most interesting threads ever, anyplace. Sorry to see it no longer here. History17 years 8 weeks |
Browse archives
Active forum topics
|
Recent comments
16 weeks 2 days ago
20 weeks 4 days ago
22 weeks 1 day ago
22 weeks 1 day ago
24 weeks 6 days ago
29 weeks 3 days ago
29 weeks 3 days ago
29 weeks 6 days ago
29 weeks 6 days ago
32 weeks 5 days ago